A implements
    q : U
            e
        -> p
d